| 1 | C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez
Formal passive testing of timed systems: theory and tools
Softw. Test., Verif. Reliab., 22(6), 2012. |
|
| | Abstract: Available soon... |
| | @ARTICLE{andres_STVR_12,
author = {C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez},
title = {Formal passive testing of timed systems: theory and tools},
journal = {Softw. Test., Verif. Reliab.},
year = {2012},
month = {},
volume = {22},
number = {6},
pages = {365--405}
} |
| 2 | Robert M. Hierons and Mercedes G. Merayo
Mutation Testing from Probabilistic and Stochastic Finite State Machines
Journal of Systems and Software, 82(11), November 2009. |
|
| | Abstract: Specification mutation involves mutating a specification, and for each mutation a test is derived that distinguishes the behaviours of the mutated and original specifications. This approach has been applied with finite state machine based models. This paper extends mutation testing to finite state machine models that contain non-functional properties. The paper describes several ways of mutating a finite state machine with probabilities (PFSM) or stochastic time (PSFSM) attached to its transitions and shows how we can generate test sequences that distinguish between such a model and its mutants. Testing then involves applying each test sequence multiple times, observing the resultant behaviours and using results from statistical sampling theory in order to compare the observed frequency and execution time of each output sequence with that expected. |
| | @ARTICLE{HieronsM09,
author = {Robert M. Hierons and Mercedes G. Merayo},
title = {Mutation Testing from Probabilistic and Stochastic Finite State Machines},
journal = {Journal of Systems and Software},
year = {2009},
month = {November},
volume = {82},
number = {11},
pages = {1804-1818}
} |
| 3 | C\'esar Andr\'es and Mercedes G. Merayo and Carlos Molinero
Advantages of Mutation in Passive Testing: An Empirical Study
Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)Denver, Colorado, 1-4 April 2009. |
|
| | Abstract: This paper presents an empirical study of the mutation techniques used by the tool PASTE. This tool allows the automation of our passive testing methodology for systems that present stochastic-time information. In our proposal, invariants express the fact that each time the implementation under test performs a given sequence of actions, then it must exhibit a behavior according to the probability distribution functions reflected in the invariant. We briefly review the theoretical framework of our methodology and the main features of our tool. Next, we present in detail the Mutants module that provides us with a functionality to test the effectiveness of invariants for detecting errors. Finally, we present a study of the results obtained from the performed experiments. |
| | @INPROCEEDINGS{AndresMM09,
author = {C\'esar Andr\'es and Mercedes G. Merayo and Carlos Molinero},
title = {Advantages of Mutation in Passive Testing: An Empirical Study},
booktitle = {Proceedings of the 4th International Workshop on Mutation Analysis (MUTATION'09)},
year = {2009},
address = {Denver, Colorado},
month = {1-4 April},
pages = {230-239}
} |
| 4 | C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez
Passive Testing of Stochastic Timed Systems
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{andres_ICST_09,
author = {C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez},
title = {Passive Testing of Stochastic Timed Systems},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
year = {2009},
address = {},
month = {},
pages = {71--80}
} |
| 5 | C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Carlos Molinero
Advantages of Mutation in Passive Testing: An Empirical Study
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{andres_ICSTW_09,
author = {C{\'{e}}sar Andr{\'{e}}s and Mercedes G. Merayo and Carlos Molinero},
title = {Advantages of Mutation in Passive Testing: An Empirical Study},
booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings},
year = {2009},
address = {},
month = {},
pages = {230--239}
} |
| 6 | Robert M. Hierons and Mercedes G. Merayo
Mutation Testing from Probabilistic Finite State Machines
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007. |
|
| | Abstract: Mutation testing traditionally involves mutating a program in order to produce a set of mutants and using these mutants in order to either estimate the effectiveness of a test suite or to drive test generation. Recently, however, this approach has been applied to specifications such as those written as finite state machines. This paper extends mutation testing to finite state machine models in which transitions have associated probabilities. The paper describes several ways of mutating a probabilistic finite state machine (PFSM) and shows how test sequences that distinguish between a PFSM and its mutants can be generated. Testing then involves applying each test sequence multiple times, observing the resultant output sequences and using results from statistical sampling theory in order to compare the observed frequency of each output sequence with that expected. |
| | @INPROCEEDINGS{HieronsM07,
author = {Robert M. Hierons and Mercedes G. Merayo},
title = {Mutation Testing from Probabilistic Finite State Machines},
booktitle = {Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)},
year = {2007},
address = {Windsor, UK},
month = {10-14 September},
pages = {141-150}
} |
